Zur Entwicklung zuverlässiger Informationssysteme in KorSo
نویسندگان
چکیده
Zusammenfassung Innerhalb des KoRSo-Projektes verfolgt unsere Gruppe das Ziel, die Entwick-lung zuverlässiger Informationssysteme auf der Basis formaler Spezifikationen zu unterstützen. Dazu konzentriert skh unsere Arbeit auf die Spezifikationssprache TROLL light, die es erlaubt, Teile der zu modellierenden Welt als eine Gemein-schaft nebeneinander bestehender und miteinander kommunizierender Objekte zu beschreiben. Auf diese Weise bestimmen wir sowohl die Struktur als auch das Verhal-ten der konzeptionellen Objekte. Unsere Spezifikationsumgebung für TROLL light erlaubt die Animation von Spezifikationen ebenso wie das Beweisen von Eigenschaf-ten der Spezifikationen unter Verwendung von Theorembeweisern.
منابع مشابه
Die Rolle von Requirements Engineering und IT-Architektur bei der Entwicklung betrieblicher Informationssysteme
Betriebliche Informationssysteme werden in Projekten fachlich und technisch konzipiert und dann umgesetzt. Requirements Engineering ist dabei eine Basis-Kompetenz, die nicht nur in frühen Phasen, sondern an allen Auftraggeber/ Auftragnehmer-Schnittstellen der Projektorganisation zum Einsatz kommt. IT-Architekturen bilden Strukturen, die Anforderungen erfüllen und sind Erklärungsmodelle, um komp...
متن کاملADEPT: Ein integrierender Ansatz zur Entwicklung flexibler, zuverlässiger, kooperierender Assistenzsysteme in klinischen Anwendungsumgebungen
Die Entwicklung flexibler, kooperierender Assistenzsysteme mit der für den klinischen Bereich unerläßlichen Zuverlässigkeit ist auf Basis der heutigen Softwaretechnologie immer noch ein äußerst schwieriges und aufwendiges Unterfangen. In diesem Beitrag wird ein neuer Ansatz vorgestellt, der durch strikte Trennung und Kapselung von Ablauflogik sowie Ausnahmeund Fehlerbehandlung vom eigentlichen ...
متن کاملIT und Dienstleistungen für die Energiewende und die Elektromobilität (IDEE)
der Workshop IT und Dienstleistungen für die Energiewende und die Elektromobilität (IDEE) fand bereits zum vierten Mal im Rahmen der GI-Jahrestagung statt. Der halbtägige Workshop am 30.09.2016 in Klagenfurt/Österreich wurde gemeinsam von Vertretern des Karlsruher Instituts für Technologie, der Universität Paderborn und der Westfälischen Wilhelms-Universität Münster veranstaltet und hatte die E...
متن کاملEntwicklung Serviceorientierter Architekturen zur Integration von Produktion und Dienstleistung - Eine Konzeptionsmethode und ihre Anwendung am Beispiel des Recyclings elektronischer Geräte
Unternehmen kombinieren Sachund Dienstleistungen in Leistungsbündeln, um integrierte Lösungen anbieten zu können. Die Integration von Produktion und Dienstleistung erfordert eine geeignete Gestaltung der Informationssysteme. Sich ändernde Kundenanforderungen und alternative Institutionalisierungen erfordern eine Wandlungsfähigkeit der Informationssysteme, wie sie von Serviceorientierten Archite...
متن کاملSoftware Mass Customization
Datenbank-Spektrum 19/2006 5 Dieser Artikel führt ein neues Ziel bei der Entwicklung von Informationssystemen ein: Software Mass Customization. Der Artikel soll motivieren zukünftige Informationssysteme mit diesem Ziel zu entwickeln, und zeigt auf, wieso die heutige Technologie zur Entwicklung von Informationssystemen nicht ausreichend zur Erreichung dieses Ziels ist. Es wird ein kurzer Exkurs ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993